bitkeeper revision 1.1159.113.1 (41707bdeJOc1nGZ4m2BKGia9VqochA)

Sync pagetables when migrating a domain betwene CPUs.

diff --git a/xen/common/dom0_ops.c b/xen/common/dom0_ops.c
index 829eb1de2ee9cf973066b61086bb65b1e81c95fa..09b9d5d2d56f86e8e6480715e0805156bc91092c 100644 (file)
--- a/xen/common/dom0_ops.c
+++ b/xen/common/dom0_ops.c
@@ -271,7 +271,8 @@ long do_dom0_op(dom0_op_t *u_dom0_op)
         else
         {
             domain_pause(d);
-            if(d->processor != cpu % smp_num_cpus)
+            synchronise_pagetables(~0UL);
+            if ( d->processor != (cpu % smp_num_cpus) )
                 set_bit(DF_MIGRATED, &d->flags);
             set_bit(DF_CPUPINNED, &d->flags);
             d->processor = cpu % smp_num_cpus;